Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.orgยท15h
๐Ÿ“Compression Bounds
A small rant about compression
codecs.multimedia.cxยท2d
๐Ÿ“ฆDeflate
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
No Bullshit Guide to Statistics prerelease
minireference.comยท1h
๐ŸงฎKolmogorov Bounds
How JPEG Works: The Subtle Beauty and Art of Imperfection
techspot.comยท1d
๐Ÿ–ผ๏ธJPEG XL
Sorting encrypted data without decryption: a practical trick
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Hash Functions
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.comยท12h
๐Ÿ“ผTape Simulation
Michael Kohn - tin can phone modem
mikekohn.netยท2h
๐ŸงชCassette Hacks
A Proof of the Riemann Hypothesis
future.forem.comยท1dยท
Discuss: DEV
๐ŸŽฏArithmetic Coding Theory
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.comยท3d
๐Ÿ”ขReed-Solomon Math
Regression to the Mean
blog.engora.comยท4hยท
Discuss: Hacker News
๐ŸŽฏArithmetic Coding Theory
QUIC! Jump to User Space!
hackaday.comยท3h
๐ŸŒNetwork Protocols
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.comยท3d
๐ŸŽฏProof Tactics
[P] Lossless compression for 1D CNNs
reddit.comยท8hยท
๐Ÿ“ŠQuantization
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.devยท1dยท
Discuss: Hacker News
๐Ÿ”Hash Functions
Show HN: I built a video-to-text tool โ€“ 10 min free daily, no signup
harku.ioยท5hยท
Discuss: Hacker News
๐ŸŽตAudio Streaming